Dichotomy between Deterministic and Probabilistic Models in Countably Additive Effectus Theory
نویسندگان
چکیده
Effectus theory is a relatively new approach to categorical logic that can be seen as an abstract form of generalized probabilistic theories (GPTs). While the scalars GPT are always real unit interval [0,1], in effectus they any effect monoid. Hence, there quite exotic effectuses resulting from more pathological monoids. In this paper we introduce sigma-effectuses, where certain countable sums morphisms defined. We study particular sigma-effectuses unnormalized states normalized. show non-trivial sigma-effectus with normalization has either two-element monoid 0,1 or [0,1]. When and/or predicates separate find case category must embed into sets and partial functions (and hence Boolean algebras), showing it implements deterministic model, while [0,1] embeds Banach order-unit spaces pre-base-norm (satisfying additional properties), recovering structure present GPTs. operational considerations dichotomy between convex models physical theories.
منابع مشابه
Bridges between deterministic and probabilistic models for binary data
For the analysis of binary data, various deterministic models have been proposed, which are generally simpler to fit and easier to understand than probabilistic models. We claim that corresponding to any deterministic model is an implicit stochastic model in which the deterministic model fits imperfectly, with errors occurring at random. In the context of binary data, we consider a model in whi...
متن کاملProbabilistic and Piecewise Deterministic models in Biology
We present recent results on Piecewise Deterministic Markov Processes (PDMPs), involved in biological modeling. PDMPs, first introduced in the probabilistic literature by [30], are a very general class of Markov processes and are being increasingly popular in biological applications. They also give new interesting challenges from the theoretical point of view. We give here different examples on...
متن کاملAn Introduction to Effectus Theory
Effectus theory is a new branch of categorical logic that aims to capture the essentials of quantum logic, with probabilistic and Boolean logic as special cases. Predicates in effectus theory are not subobjects having a Heyting algebra structure, like in topos theory, but ‘characteristic’ functions, forming effect algebras. Such effect algebras are algebraic models of quantitative logic, in whi...
متن کاملUniform measures and countably additive measures
Uniform measures are defined as the functionals on the space of bounded uniformly continuous functions that are continuous on bounded uniformly equicontinuous sets. If every cardinal has measure zero then every countably additive measure is a uniform measure. The functionals sequentially continuous on bounded uniformly equicontinuous sets are exactly uniform measures on the separable modificati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic proceedings in theoretical computer science
سال: 2021
ISSN: ['2075-2180']
DOI: https://doi.org/10.4204/eptcs.340.5